MGI:3513437 CHOHD3 Chohd3 CHO006 http://identifiers.org/mgd/MGI:3513437 dominant hypercholesterolemia 3